Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings: 2885 (Lecture Notes in Computer Science)
by Jim Woodcock,Jin Song Dong
ISBN 13: 9783540204619
Format: Paperback (696 pages) Publisher: Springer Published: 13 Jun 2008
Save for later